Merge pull request #1759 from vwadekar/armlink-support
authorAntonio Niño Díaz <[email protected]>
Fri, 8 Feb 2019 13:48:47 +0000 (13:48 +0000)
committerGitHub <[email protected]>
Fri, 8 Feb 2019 13:48:47 +0000 (13:48 +0000)
Armlink support


Trivial merge